// Copyright 2011 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

/*

WIP: Package types prodvides type checking for ASTs produced by the parser
package.

*/
package types

import (
	//"errors"
	"godeit/go/parser"
)

type Importer interface {
	Import(pth string) interface{} //TODO ret type TBD
}

// The Node type is the type of the information attached by the typechecker to
// the Node field of the various parser AST nodes (most of them have type
// parser.O*).
type Node struct {
	//TODO
}

func Check(files []*parser.File) (err error) {
	//TODO
	//return errors.New("Check: TODO")
	return
}
